Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
241	An Improved Dirichlet-to-Neumann Map Method for Scattering by Circular Cylinders on a Lattice Shichang She and Ya Yan Lu Department of Mathematics, City University of Hong Kong, Kowloon, Hong Kong A simple model for two Add to Reading List Source URL: math.cityu.edu.hk Language: English - Date: 2012-07-24 01:08:49 Mathematics Partial differential equations Multivariable calculus Multipole expansion Vector calculus Multipole moment Finite element method Calculus Mathematical analysis Potential theory
242	3-2 Development of the SprinTra WFST Speech Decoder DIXON Paul Richard, HORI Chiori, and KASHIOKA Hideki In this paper we describe the NICT Weighted Finite State Transducer (WFST) based speech decoder named SprinTra. The Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 21:19:13 Science Linguistics Speech recognition Applied mathematics Finite state transducer N-gram Finite-state machine Language model Algorithm Automata theory Computational linguistics Models of computation
243	Department of the Interior Property and Tenancy Ledger Add to Reading List Source URL: www.archives.act.gov.au Language: English - Date: 2014-03-13 01:33:40 FO Finite model theory
244	Department of the Interior Property and Tenancy Ledger Add to Reading List Source URL: www.archives.act.gov.au Language: English FO Finite model theory
245	PDF Document Add to Reading List Source URL: planningschemes.dtpli.vic.gov.au Language: English - Date: 2014-06-21 19:36:19 FO Finite model theory
246	PDF Document Add to Reading List Source URL: planningschemes.dtpli.vic.gov.au Language: English - Date: 2014-06-21 21:45:13 SO Finite model theory Mathematics FO
247	Overview Model Checking Approaches Algorithmic Verification Comp4151 Lecture 11-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:09 Uppaal Model Checker Finite-state machine Ansgar Clock Christianity Middle Ages Automata theory Model checkers Model checking
248	SVTS Enrolment Completions by Units of Competency 2012 Add to Reading List Source URL: www.taskforce.org.au Language: English - Date: 2013-07-04 00:47:56 SO Prahran Victoria Moorabbin Victoria Human resource management Mathematics Computational complexity theory Descriptive complexity Finite model theory
249	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
250	Department of the Interior Property and Tenancy Ledger Add to Reading List Source URL: www.archives.act.gov.au Language: English - Date: 2014-03-13 01:39:27 FO Finite model theory

UPDATE